- правило-утверждение
- statement rule
Русско-английский словарь по вычислительной технике и программированию . 2013.
правило-утверждение
Look at other dictionaries:
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
ПРАВИЛО ЭЙЛЕРА — ПРАВИЛО ЭЙЛЕРА, в геометрии твердых тел утверждение, согласно которому для любого многогранника V+F E=2, где V число вершин (углов), F число сторон, а Е число граней многогранника. Правило названо по имени Леонарда ЭЙЛЕРА. Правило Эйлера. Все… … Научно-технический энциклопедический словарь
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Правило октета — Связи в диоксиде углерода (CO2) все атомы окружены 8 электронами согласно правилу октета. Следовательно, CO2 является устойчивой молекулой. Правило октета (октетная теория) предложено Г. Н. Льюисом для объяснения причин… … Википедия
Правило октетов — Связи в диоксиде углерода (CO2) все атомы окружены 8 электронами согласно правилу октета. Следовательно, CO2 является устойчивой молекулой. Правило октета (октетная теория) предложено Г.Н. Льюисом для объяснения причин образования ковалентных… … Википедия
Утверждение уголовных приговоров — административною властью или высшей судебной инстанцией было принято за общее правило в процессе розыскного типа, где каждое дело по рассмотрении его судом первой степени восходило, в силу закона, на ревизию в высшие инстанции, причем приговор… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ЛОПИТАЛЯ ПРАВИЛО — раскрытие неопределенностей вида сведением предела отношения функций к пределу отношения производных рассматриваемых функций. Так, для случая, когда действительные функции f и gопределены в проколотой правосторонней окрестности точки ачисловой… … Математическая энциклопедия
APPROBATIO — [лат. признание, утверждение, согласие], понятие в католич. каноническом праве, подразумевающее одобрение определенных действий, как правило утверждение церковным вышестоящим лицом действий своего подчиненного. В ср. века термин «А.» соотносился… … Православная энциклопедия
ПРИВЕДЕНИЕ К АБСУРДУ — правило логич. вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. к а. записывают, напр., в виде и наз. также правилом введения отрицания. П. к а.… … Математическая энциклопедия
НУЛЬ-ГИПОТЕЗА (нулевая гипотеза) — утверждение, постулирующее отсутствие различий между сравниваемыми величинами или отсутствие связи между изучаемыми переменными. Используется при статистической проверке Г. В качестве антитезиса к Н. Г. формулируется альтернативная Г.,… … Социология: Энциклопедия
ПАРАДОКС ЦЕННОСТИ — – утверждение, согласно которому ценность (цена) товара определяется его относительной редкостью, а не полезностью. Вода чрезвычайно необходима, а ее общая полезность очень высока, но из за того, что она, как правило, легкодоступна и находится в… … Экономика от А до Я: Тематический справочник
